void portal(Player @player, Portal @portal) {
player.changeMap(990000700, "st00");
}